How to Write a Document in Controlled Natural Language
نویسندگان
چکیده
This paper shows how a computer-processable document can be written in a controlled natural language (PENG) with the help of a sophisticated lookahead editor (ECOLE). The editor provides syntactic hints after each word form entered and indicates how the author can continue the text. This way the author does not need to learn or to remember the restrictions of the controlled language. PENG documents are automatically translated into first-order logic via discourse representation structures. These formal entities can be checked by a theorem prover for inconsistency or consistency can be revealed by a model builder.
منابع مشابه
The Effect of Variations in Integrated Writing Tasks and Proficiency Level on Features of Written Discourse Generated by Iranian EFL Learners
In recent years, a number of large-scale writing assessments (e.g., TOEFL iBT) have employed integrated writing tests to measure test takers’ academic writing ability. Using a quantitative method, the current study examined how written textual features and use of source material(s) varied across two types of text-based integrated writing tasks (i.e., listening-to-write vs. reading-to-write) and...
متن کاملProcessing Coordinated Structures in PENG Light
PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the contro...
متن کاملروش جدید متنکاوی برای استخراج اطلاعات زمینه کاربر بهمنظور بهبود رتبهبندی نتایج موتور جستجو
Today, the importance of text processing and its usages is well known among researchers and students. The amount of textual, documental materials increase day by day. So we need useful ways to save them and retrieve information from these materials. For example, search engines such as Google, Yahoo, Bing and etc. need to read so many web documents and retrieve the most similar ones to the user ...
متن کاملControlling Plural Ambiguities in Attempto Controlled English (ACE)
Attempto Controlled English (ACE) is a controlled natural language specifically constructed to write software specifications. ACE specifications are computer-processable and can be unambiguously translated into a first-order logic language. The current version of ACE deals only with singular phenomena. We discuss how ACE can be extended with plurality. The extension proves to be difficult in th...
متن کاملA Controlled Language for the Specification of Contracts
Controlled natural languages have been used to enable the direct translation from natural language specifications into a formal description. In this abstract we make a case for such an approach to write contracts, and translating into a temporal deontic logic. Combining both temporal behaviour and deontic behaviour is challenging both from a natural language and a formal logic perspective. We p...
متن کامل